Area of a Parallelogram Demonstration

Divider

Translate = 0 (slider from 0 to 1, step 0.01)
A = Point(g)
a = OrthogonalLine(A, g)
C = Point(g)
B_1 = (8.78575513083111, 5.7029366161431225)
b = Segment(C, B_1)
c = Line(A, b)
d = Line(B_1, g)
D_1 = Intersect(c, d)
e = Segment(D_1, B_1)
f = Segment(A, D_1)
h = OrthogonalLine(C, g)
i = OrthogonalLine(D_1, g)
j = OrthogonalLine(B_1, g)
B = Intersect(g, i)
D = Intersect(g, j)
k = Segment(If[x(B) ≥ x(A), B, A], If[x(B) ≥ x(A), C, D])
E = Point(k)
l = Segment(A, B)
m = Segment(C, D)
n = OrthogonalLine(E, e)
F = Intersect(n, e)
p = Segment(F, E)
poly1, a_1, e_1, f_1, d_1 = Polygon(A, E, F, D_1)
poly2, e_2, c_1, b_1, f_2 = Polygon(E, C, B_1, F)
q = Segment(B_1, F)
r = Segment(F, D_1)
s = Segment(A, C)
C' = Dilate(C, Translate, A)
t = Line(C', b)
g_1 = Line(B_1, s)
G = Intersect(t, g_1)
h_1 = Circle(G, Segment[D_1, F])
k_1 = Circle(C', Segment[A, E])
i_1 = Line(A, C)
H, I = Intersect(k_1, i_1)
J, K = Intersect(h_1, g_1)
j_1 = Segment(B_1, K)
l_1 = Segment(K, I)
m_1 = Segment(I, C')
n_1 = Segment(G, C')
poly3, c', g_2, k_2, i_2 = Polygon(C', G, K, I)
p_1 = Segment(E, C)
q_1 = Segment(G, F)
r_1 = Segment(F, E)
s_1 = Segment(I, K)
o = false